Extensional and Intensional Strategies
نویسندگان
چکیده
This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a strategy is defined explicitly as a set of derivations of an abstract reduction system. We then move to a more intensional definition supporting the abstract view but more operational in the sense that it describes a means for determining such a set. We characterize the class of extensional strategies that can be defined intensionally. We also give some hints towards a logical characterization of intensional strategies and propose a few challenging perspectives.
منابع مشابه
The Semantics of Intensionalization
This paper introduces a procedure that takes a simple version of extensional semantics and generates from it an equivalent possibleworld semantics that is suitable for treating intensional phenomena in natural language. This process of intensionalization allows to treat intensional phenomena as stemming exclusively from the lexical meaning of words like believe, need or fake. We illustrate the ...
متن کاملUsing Integrity Constraints to Provide Intensional Answers to Relational Queries
An intensionalanswer to a query is a set of characterizations of the set of database values that satisfy the query (the extensional answer). Intensional answers provide users with additional insight into the nature of standard extensional answers. In this paper we describe a method that applies database constraints to generate intensional answers. These intensional answers characterize the exte...
متن کاملAn Approach to Intensional Query Answering at Multiple Abstraction Levels using Data Mining Approaches
In this paper, we introduce a partially automated method for generating intensional answers at multiple abstraction levels for a query, which can help database users find more interesting and desired answers. Our approach consists of three phases: preprocessing, query execution, and answer generation. In the preprocessing phase, we build a set of concept hierarchies constructed by generalizatio...
متن کاملAn Approach for Synergically Carrying out Intensional and Extensional Integration of Data Sources Having Different Formats
In this paper we propose a data source integration approach capable of uniformly handling different source formats, ranging from databases to XML documents and other semi-structured data. The proposed approach consists of two components, performing intensional and extensional integration, respectively; these are strictly coupled, since they use related models for representing intensional and ex...
متن کاملIntegrating Extensional and Intensional ILP Systems through Abduction
We present an hybrid extensional-intensional Inductive Logic Programming algorithm. We then show how this algorithm solves the problem of global inconsistency of intensional systems when learning multiple predicates, without incurring in the problems of incompleteness and inconsistency of extensional systems. The algorithm is obtained by modifying an intensional system 6] for learning abductive...
متن کامل